map_domain_page() now handles running on idle page tables.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 1 Mar 2006 17:34:06 +0000 (18:34 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 1 Mar 2006 17:34:06 +0000 (18:34 +0100)
commit71a0b53a1ad36ccca3b83baf2047817efaf9e27d
tree3450d1c807e3bfc20322e447c7a81dd9c208231c
parent8c52f78fc55c09d78327e5be822b0e131d1be33d
map_domain_page() now handles running on idle page tables.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/x86_32/domain_page.c